Algebraic Generalization of Venn Diagram
نویسنده
چکیده
It is easy to deal with a Venn Diagram for 1 ≤ n ≤ 3 sets. When n gets larger, the picture becomes more complicated, that's why we thought at the following codification. That’s why we propose an easy and systematic algebraic way of dealing with the representation of intersections and unions of many sets. Introduction. Let's first consider 1 ≤ n ≤ 9, and the sets S1, S2, ..., Sn. Then one gets 2-1 disjoint parts resulted from the intersections of these n sets. Each part is encoded with decimal positive integers specifying only the sets it belongs to. Thus: part 1 means the part that belongs to S1 (set 1) only, part 2 means the part that belongs to S2 only, ..., part n means the part that belongs to set Sn only. Similarly, part 12 means that part which belongs to S1 and S2 only, i.e. to S1∩S2 only. Also, for example part 1237 means the part that belongs to the sets S1, S2, S3, and S7 only, i.e. to the intersection S1∩S2∩S3∩S7 only. And so on. This will help to the construction of a base formed by all these disjoint parts, and implementation in a computer program of each set from the power set P(S1∪ S2∪...∪ Sn) using a binary number. The sets S1, S2, ..., Sn, are intersected in all possible ways in a Venn diagram. Let 1 ≤ k ≤ n be an integer. Let’s denote by: i1i2...ik the Venn diagram region/part that belongs to the sets Si1 and Si2 and ... and Sik only, for all k and all n. The part which is outside of all sets (i.e. the complement of the union of all sets) is noted by 0 (zero). Each Venn diagram will have 2 disjoint parts, and each such disjoint part (except the above part 0) will be formed by combinations of k numbers from the numbers: 1, 2, 3, ..., n. Example. Let see an example for n = 3, and the sets S1, S2, and S3. 1 It has been called the Smarandache’s Codification (see [4] and [3]).
منابع مشابه
Conservativity for a hierarchy of Euler and Venn reasoning systems
This paper introduces a hierarchy of Euler and Venn diagrammatic reasoning systems in terms of their expressive powers in topological-relation-based formalization. At the bottom of the hierarchy is the Euler diagrammatic system introduced in Mineshima-Okada-Sato-Takemura [13, 12], which is expressive enough to characterize syllogistic reasoning in terms of unification and deletion rules. At the...
متن کاملNew Roses: Simple Symmetric Venn Diagrams with 11 and 13 Curves
A symmetric n-Venn diagram is one that is invariant under n-fold rotation, up to a relabeling of curves. A simple n-Venn diagram is an n-Venn diagram in which at most two curves intersect at any point. In this paper, we introduce a new property of Venn diagrams called crosscut symmetry, which is related to dihedral symmetry. Utilizing a computer search restricted to diagrams with crosscut symme...
متن کاملConstraint Diagrams: Visualizing Invariants in Object-Oriented Models
A new visual notation is proposed for precisely expressing constraints on object-oriented models, as an alternative to mathematical logic notation used in methods such as Syntropy and Catalysis. The notation is potentially intuitive, expressive, integrates well with existing visual notations, and has a clear and unambiguous semantics. It is reminiscent of informal diagrams used by mathematician...
متن کاملUsing Inclusion Diagrams as an Alternative to Venn Diagrams to Determine the Validity of Categorical Syllogisms
Inclusion diagrams are introduced as an alternative to using Venn diagrams to determine the validity of categorical syllogisms, and are used here for the analysis of diverse categorical syllogisms. As a preliminary example of a possible generalization of the use of inclusion diagrams, consideration is given also to an argument that includes more than two premises and more than three terms, the ...
متن کاملWhich n-Venn diagrams can be drawn with convex k-gons?
We establish a new lower bound for the number of sides required for the component curves of simple Venn diagrams made from polygons. Specifically, for any n-Venn diagram of convex k-gons, we prove that k ≥ (2 − 2 − n)/(n(n − 2)). In the process we prove that Venn diagrams of seven curves, simple or not, cannot be formed from triangles. We then give an example achieving the new lower bound of a ...
متن کامل